Dolev-Yao model

#	Item
11	Report on DIMACS∗ Workshop on Security Analysis of Protocols Date of workshop: June 7 – 9, 2004 Workshop Organizers: John Mitchell, Stanford University Ran Canetti, IBM Watson Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2005-07-27 15:21:45 Dolev-Yao model Secure multi-party computation Cryptographic primitive Formal verification Communications protocol Transport Layer Security Authentication protocol Secure channel Random oracle Cryptography Cryptographic protocols Universal composability
12	Modular Code-Based Cryptographic Verification Cédric Fournet Markulf Kohlweiss Pierre-Yves Strub Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-08-23 11:52:17 Public-key cryptography Electronic commerce Advantage XTR Dolev-Yao model RSA CMAC Ciphertext indistinguishability Universal composability Cryptography Cryptographic protocols Finite fields